设为3阶矩阵是一个3元的非零向量. 若则关于线性方程组, 以下选项必定正确的是答案: 有解, 且是解.